Koen Claessen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 2013 ACM SIGPLAN symposium - Boston, Massachusetts, USA (2013.09.23-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN symposium on Haskell - Haskell '13 - Splittable pseudorandom number generators using cryptographic hashing

Claessen, Koen, Pałka, Michał H.

Year:

2013

Language:

english

File:

PDF, 695 KB

english, 2013

2

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Static contract checking for Haskell

Xu, Dana N., Peyton Jones, Simon, Claessen, Koen

Year:

2008

Language:

english

File:

PDF, 271 KB

english, 2008

3

Generating constrained random data with uniform distribution

CLAESSEN, KOEN, DUREGÅRD, JONAS, PAŁKA, MICHAŁ H.

Journal:

Journal of Functional Programming

Year:

2015

Language:

english

File:

PDF, 568 KB

english, 2015

4

Efficient parallel and incremental parsing of practical context-free languages

BERNARDY, JEAN-PHILIPPE, CLAESSEN, KOEN

Journal:

Journal of Functional Programming

Year:

2015

Language:

english

File:

PDF, 757 KB

english, 2015

5

A poor man's concurrency monad

Journal:

Journal of Functional Programming

Year:

1999

Language:

english

File:

PDF, 166 KB

english, 1999

6

Screening for connective tissue disease-associated antibodies by automated immunoassay

Willems, Philippe, De Langhe, Ellen, Claessens, Jolien, Westhovens, René, Van Hoeyveld, Erna, Poesen, Koen, Vanderschueren, Steven, Blockmans, Daniel, Bossuyt, Xavier

Journal:

Clinical Chemistry and Laboratory Medicine

Year:

2018

Language:

english

File:

PDF, 883 KB

english, 2018

7

Typed Logical Variables in Haskell

Claessen Koen, Peter Ljunglöf

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

File:

PDF, 28 KB

2001

8

Safety Property Verification of Cyclic Synchronous Circuits

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 257 KB

english, 2004

9

Changes in balance, functional performance and fall risk following whole body vibration training and vitamin D supplementation in institutionalized elderly women. A 6 month randomized controlled trial

An Bogaerts, Christophe Delecluse, Steven Boonen, Albrecht L. Claessens, Koen Milisen, Sabine M.P. Verschueren

Journal:

Year:

2011

Language:

english

File:

PDF, 346 KB

english, 2011

10

Using circular programs for higher-order syntax

Axelsson, Emil, Claessen, Koen

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 459 KB

english, 2013

11

QuickCheck

Claessen, Koen, Hughes, John

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 4.71 MB

english, 2011

12

Structuring graphical paradigms in TkGofer

Claessen, Koen, Vullinghs, Ton, Meijer, Erik

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.02 MB

english, 1997

13

Shrinking and showing functions

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 467 KB

english, 2013

14

Finding race conditions in Erlang with QuickCheck and PULSE

Claessen, Koen, Palka, Michal, Smallbone, Nicholas, Hughes, John, Svensson, Hans, Arts, Thomas, Wiger, Ulf

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 500 KB

english, 2009

15

[ACM Press the 9th International Symposium - Nara, Japan (2016.09.22-2016.09.23)] Proceedings of the 9th International Symposium on Haskell - Haskell 2016 - The Key monad: type-safe unconstrained dynamic typing

Ploeg, Atze van der, Claessen, Koen, Buiras, Pablo

Year:

2016

Language:

english

File:

PDF, 213 KB

english, 2016

16

Quick specifications for the busy programmer

SMALLBONE, NICHOLAS, JOHANSSON, MOA, CLAESSEN, KOEN, ALGEHED, MAXIMILIAN

Journal:

Journal of Functional Programming

Year:

2017

Language:

english

File:

PDF, 841 KB

english, 2017

17

[ACM Press the 8th ACM SIGPLAN International Workshop - Berlin, Germany (2019.08.18-2019.08.18)] Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing - FHPNC 2019 - Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage

Aronsson, Markus, Claessen, Koen, Sheeran, Mary, Smallbone, Nicholas

Year:

2019

Language:

english

File:

PDF, 876 KB

english, 2019

18

GPGPU kernel implementation and refinement using Obsidian

Joel Svensson, Koen Claessen, Mary Sheeran

Journal:

Procedia Computer Science

Year:

2010

Language:

english

File:

PDF, 308 KB

english, 2010

19

Using Lava to design and verify recursive and periodic sorters

Koen Claessen, Mary Sheeran, Satnam Singh

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 617 KB

english, 2003

20

Influence of zero flow pressure on fractional flow reserve

Tom E. Claessens, Paul L. Van Herck, Koen S. Matthys, Patrick Segers, Christiaan J. Vrints, Pascal R. Verdonck

Journal:

Biomechanics and Modeling in Mechanobiology

Year:

2004

Language:

english

File:

PDF, 297 KB

english, 2004

21

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Koen Claessen, Niklas Een, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson

Journal:

Discrete Event Dynamic Systems

Year:

2009

Language:

english

File:

PDF, 529 KB

english, 2009

22

Automated Inference of Finite Unsatisfiability

Koen Claessen, Ann Lillieström

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 425 KB

english, 2011

23

Expression and localization of CHODLΔE/CHODLfΔE, the soluble isoform of chondrolectin

An Claessens, Koen Van de Vijver, Dirk R. Van Bockstaele, Jan Wauters, Zwi N. Berneman, Eric Van Marck, Joseph Merregaert

Journal:

Cell Biology International

Year:

2007

Language:

english

File:

PDF, 3.36 MB

english, 2007

24

[ACM Press the 7th workshop - Philadelphia, Pennsylvania, USA (2012.01.28-2012.01.28)] Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming - DAMP '12 - Expressive array constructs in an embedded GPU kernel programming language

Claessen, Koen, Sheeran, Mary, Svensson, Bo Joel

Year:

2012

Language:

english

File:

PDF, 522 KB

english, 2012

25

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Efficient divide-and-conquer parsing of practical context-free languages

Bernardy, Jean-Philippe, Claessen, Koen

Year:

2013

Language:

english

File:

PDF, 588 KB

english, 2013

26

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - HALO

Vytiniotis, Dimitrios, Peyton Jones, Simon, Claessen, Koen, Rosén, Dan

Year:

2013

Language:

english

File:

PDF, 551 KB

english, 2013

27

Numerical Evaluation and Experimental Validation of Pressure Drops Across a Patient-Specific Model of Vascular Access for Hemodialysis

Botti, Lorenzo, Canneyt, Koen, Kaminsky, Rado, Claessens, Tom, Planken, Robrecht Nils, Verdonck, Pascal, Remuzzi, Andrea, Antiga, Luca

Journal:

Cardiovascular Engineering and Technology

Year:

2013

Language:

english

File:

PDF, 1.83 MB

english, 2013

28

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - A Coverage Analysis for Safety Property Lists

Year:

2007

Language:

english

File:

PDF, 161 KB

english, 2007

29

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Feldspar: A domain specific language for digital signal processing algorithms

Axelsson, Emil, Claessen, Koen, Devai, Gergely, Horvath, Zoltan, Keijzer, Karin, Lyckegard, Bo, Persson, Anders, Sheeran, Mary, Svenningsson, Josef, Vajdax, Andras

Year:

2010

Language:

english

File:

PDF, 343 KB

english, 2010

30

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - SAT-solving in practice

Claessen, Koen, Een, Niklas, Sheeran, Mary, Sorensson, Niklas

Year:

2008

Language:

english

File:

PDF, 169 KB

english, 2008

31

Body composition in athletes: A comparison of densitometric methods and tracking of individual differences

Peeters, Maarten Wim, Goris, Marina, Keustermans, Greet, Pelgrim, Koen, Claessens, Albrecht L.

Journal:

European Journal of Sport Science

Year:

2013

Language:

english

File:

PDF, 240 KB

english, 2013

32

[ACM Press the 2014 ACM SIGPLAN symposium - Gothenburg, Sweden (2014.09.04-2014.09.05)] Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14 - A seamless, client-centric programming model for type safe web applications

Ekblad, Anton, Claessen, Koen

Year:

2014

Language:

english

File:

PDF, 462 KB

english, 2014

33

[ACM Press the 2012 symposium - Copenhagen, Denmark (2012.09.13-2012.09.13)] Proceedings of the 2012 symposium on Haskell symposium - Haskell '12 - Shrinking and showing functions

Year:

2012

Language:

english

File:

PDF, 467 KB

english, 2012

34

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.26-2005.09.28)] Proceedings of the 2005 ACM SIGPLAN workshop on Erlang - ERLANG '05 - A semantics for distributed Erlang

Claessen, Koen, Svensson, Hans

Year:

2005

Language:

english

File:

PDF, 146 KB

english, 2005

35

[ACM Press the first ACM SIGPLAN symposium - Victoria, BC, Canada (2008.09.25-2008.09.25)] Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08 - A library for light-weight information-flow security in haskell

Russo, Alejandro, Claessen, Koen, Hughes, John

Year:

2008

Language:

english

File:

PDF, 245 KB

english, 2008

36

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Finding race conditions in Erlang with QuickCheck and PULSE

Claessen, Koen, Palka, Michal, Smallbone, Nicholas, Hughes, John, Svensson, Hans, Arts, Thomas, Wiger, Ulf

Year:

2009

Language:

english

File:

PDF, 500 KB

english, 2009

37

Graphs in compilation (poster)

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 108 KB

english, 1997

38

[ACM Press the 5th Workshop - Cape Town, South Africa (2010.05.03-2010.05.04)] Proceedings of the 5th Workshop on Automation of Software Test - AST '10 - Ranking programs using black box testing

Claessen, Koen, Hughes, John, Pałka, Michał, Smallbone, Nick, Svensson, Hans

Year:

2010

Language:

english

File:

PDF, 148 KB

english, 2010

39

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Using circular programs for higher-order syntax

Axelsson, Emil, Claessen, Koen

Year:

2013

Language:

english

File:

PDF, 459 KB

english, 2013

40

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Lava

Bjesse, Per, Claessen, Koen, Sheeran, Mary, Singh, Satnam

Year:

1998

Language:

english

File:

PDF, 1.05 MB

english, 1998

41

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - Structuring graphical paradigms in TkGofer

Claessen, Koen, Vullinghs, Ton, Meijer, Erik

Year:

1997

Language:

english

File:

PDF, 1.02 MB

english, 1997

42

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - Graphs in compilation (poster)

Year:

1997

Language:

english

File:

PDF, 108 KB

english, 1997

43

An automated residential demand response pilot experiment, based on day-ahead dynamic pricing

Vanthournout, Koen, Dupont, Benjamin, Foubert, Wim, Stuckens, Catherine, Claessens, Sven

Journal:

Year:

2015

Language:

english

File:

PDF, 1.61 MB

english, 2015

44

[ACM Press Proceeding of the 6th international workshop - Waikiki, Honolulu, HI, USA (2011.05.23-2011.05.24)] Proceeding of the 6th international workshop on Automation of software test - AST '11 - Testing an optimising compiler by generating random lambda terms

Pałka, Michał H., Claessen, Koen, Russo, Alejandro, Hughes, John

Year:

2011

Language:

english

File:

PDF, 298 KB

english, 2011

45

Efficient divide-and-conquer parsing of practical context-free languages

Bernardy, Jean-Philippe, Claessen, Koen

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 588 KB

english, 2013

46

FUNCTIONAL PEARL Parallel Parsing Processes

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 124 KB

english, 2004

47

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - A Coverage Analysis for Safety Property Lists

Year:

2007

Language:

english

File:

PDF, 161 KB

english, 2007

48

Testing monadic code with QuickCheck

Claessen, Koen, Hughes, John

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 202 KB

english, 2002

49

Lava

Bjesse, Per, Claessen, Koen, Sheeran, Mary, Singh, Satnam

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 1.05 MB

english, 1999

50

Static contract checking for Haskell

Xu, Dana N., Peyton Jones, Simon, Claessen, Koen

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 271 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски